var posts=["posts/2a70ced8.html","posts/de8a24c4.html","posts/348216bd.html"];function toRandomPost(){
    pjax.loadUrl('/'+posts[Math.floor(Math.random() * posts.length)]);
  };